Strange github feature. Fixes #4