A few very minor style improvements in the code.