fix weird formatting error