fixes #4