Minor fixes on docs/spec