spec1: modify code