fix yet another formatting error