F* keys needs to be handled specially too