fixes #15