minor style things -Stauff