Minor modifications to the specifications