minor glitch with the new search button: it seems to get overlapped by the keyboard on Android.