fixes #16