Google says it’s working on a fix for the Gboard bug.