minor change: code style