Update specifications

Various fixes on the text