minor style improvements