minor formatting error