Fix glitch in core-spec pdf