Fixed a documentation bug spotted by Nicola