fixes #417