minor style considerations