GitHub bugfixing