extraneous change missed from previous commit