Modify bug of sem