minor change in output text of functional specification