fixed a slight formatting screwup