This line and line 653 in this file are slightly different (SMlog instead of util.SMlog) to satisfy pylint.