Override is good in code, a distraction in docs.