That was leftover from the time it wasn't `ErrorException` yet. Good catch.