Little improvement of user interface in androidmenu.sh.