v5.0.1: add a missing case, still untested