Markets | Tue May 14, 2013 10:57am EDT

Microsoft says operating system update to be called Windows 8.1