fixed really really minor formatting error