minor corrections to warmup