fixes #16.