fix #2801: remove lint warnings