fixes #7.