Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017–1029]. (September 2017)