Removed spurious double declaration