micro-changes: code style, typo