Update spec documentation