A couple of minor coding style fixes