Documentation: add default value