minor bug-fix