Polishing up the spec documentation