fixing github's mess