Fixed small bug in printheader() that mistakenly worked.