manual: complete example in error message documentation