python doc for error catching