removed a duplicated header