Fix duplicate header (issue #1)