pretty printing bugfix in headers