Make gcc's static analyzer happy