Fixed a documentation bug found by Nicola and fixed by Emilio.