Fix comment

visitSExt is an adapted copy of the related visitZExt method, so adapt the comment accordingly.