(/=) PublicHeader

(forgot to change that)