Updating spec documentation