Those lines should be in setup, shouldn't they?