Fix subtle bug in wipe_nonpinned_words()