fixes #753 after broken by #775