Is there any reason this (and the above) definition are in the header?