Verify that we have fixed #28 on GitHub