minor bug fix, lint fix