this fixes #20