Trivial code style change