refinements on exception handling (fail fast)