minor style touchups