Fixing minor github mistake