Small fix for ExceptionForm