Fix typo in documentation

Reported by Salvatore Bonaccorso