Fix #240: don't update header comment count