another minor style change