Some minor formatting at Vazkii's request