TcRnDriver: Fix haddock-like comment