Fixed errornous requirement in traceability matrix