[pretty] Minor cleanup