Documentation: missed some changes in commit [8d6402].