Slight formatting changes; I'm done for the night