fixing a formatting problem