whitespace tweaks
make log_header private