isn't this made redundant by the line below?