Fix typing in documentation