some formatting fixes