Commit a7877341 by André Anjos

Minor typo fix [ci skip]

parent d3fa60ce
Pipeline #13312 skipped