fix code example for Catch