fix some formatting issues