Modifying the specifications