leave restriction for s1
leave restriction for s2 and indentation style fix