fix some formatting issue