Minor: extraneous print