fix a botch from formatting changes