updated specs to remove redundancy