Brief formatting fixes