throws() API: tiny message fix in the example code