minor formatting changes -- I need to sleep