  o Minor bugfixes (compilation):
    - Fix a compilation warning about unreachable fallthrough annotations
      when building with "--enable-all-bugs-are-fatal" on some compilers.
      Fixes bug 40241; bugfix on 0.3.5.4-alpha.
