minor formatting fix
more minor formatting