fix #7836, speed bump due to unreachable code