forgotten in e50b24a6db4c7dd0f5b473073db5165d453a5217, refs #519