bug due to wrong exemple in microsoft spec