Updated the specifications document