Fix the diagnostic specs