spec10: there are bug