Correct duplicate declaration