Doc bug fix: @example to Ex: