Improve spec documentation