Spec syntax improvement based on code reviews