fixes #18.