(iOS) Style nits - menu/disp/ios.c