minor: code style