Why are these here? They are not used anywhere in the code below.