a few minor style additions