Intent spec: update spec using pretty printing