Fixing minor bug in the new repository