fixes #20