removed some redundant declarations