Exceptions are handled correctly