Fix an egregious strictness analyser bug (Trac #4924)