Clarified what is assumed to be in a header, made “var” monospace