Minor fix for the production mode documentation