this commit fixes #12