Bump syntactic version