make the static analyzer happy