why is this needed? seems odd that this could be undefined but the things on lines 10-14 would be.