Github: Fixes issue #2