Make the analyzer happy