Minor improvement of silent_feedkeys()