this fixes #10