fixes #2217