Minor move of definition