Fix a gcc warning about possible fall through