re#6194 minor change