fix typo in documentation -- thanks Michael Tautschnig