A few minor style improvements