fixes #439