Patched up docblock after faulty merge. Closes #4721