guard against double header inclusion