Fix formatting problem