Hi Bo Diddy,
Thanks very much for taking the time to reply, much appreciated.
I had tried what you suggested but in "preferences" all the options were switched ON, (Auto-capitalisation,Double space full stop, Vibrate on keypress, Sound on key press and Voice input key). But there is no microphone icon anywhere to be seen, (I see it on my tablet in the "google search" box and in the text input box when I write a text). I was goint to uninstall and then reinstall but the only option was uninstall updates.
As said, the phone is an Xiaomi Note 2, android 5.0.2, MIUI 7, Octa-core 2.2 with 2Gb RAM. It was shipped wit google keyboard installed, (but NOT working!!)
I would be very grateful if someone could suggest another thing to try.
Many thanks,
John.