fix a formatting error