Fix case splitting failure #336