Minor, code style