[spec] minor corrections