this fixes #417