Remove bug in TIntInputKeysSet