trivial code format change