fixes #571