Fixed a documentation warning introduced by 3f1c7b7