Lab 6: improved fault coverage

shortlog/shortlog@e697f0c49466: not found in manifest