fixes #17