Thanks, I think this was fixed already in the current online manual.