I believe that's the case for a lot of these, however, depending on how fast you type, you may completely miss what you're looking for when you, for example, type "double " because there is a space instead of a hyphen, which is what happened to me to make me want to suggest this in the first place.