v0.9.2.4

Very minor formatting changes here and there.