Fixed github's screw ups