fix weird formatting problem