Some minor style things