[9bf7e67b37]: minor documentation blooper