removed redundant brackets in the translated specification