Fix some formatting inconsistency