Fixing github issues