Added proper names to the diagnostic options.