trivial code fix