Fix change inadvertently added by previous commit