minor formatting bug