Empty CATCH doesn't catch #271

Given this snippet:

TRY;
    ... an operation that may fail ...
CATCH;
END;

When the operation fails, the error is not caught.

Aparently an empty CATCH block is treated the same as no CATCH block.

Bug or documentation issue?