fix derpage in elevator.h from cleanup