Use correct documentation flag for freverse-errors