fixup specdoc
[skip ci]