minor style change