Hopefully make <space><space> more responsive