Added a comment on the documantation. Re #6160.