minor glitches fixed thanks to Pylint