One more trivial change