fix some minor glitches