Documentation: fix type error