minor glitches in previous commit