removed some duplicate declarations