Catch exception in lib/notation.php