This seems unnecessary, since it's defined below.