We can probably get rid of this empty Haddock comment.