fix formatting problem