Fix docs for formatException