removed a buggy double declaration