Fixes a performance bug that would happen if you use cmd-k a lot.