fixed minor things in the header