builtins: replace section symbol with reference to spec

Removes a non-ascii character that was committed.