minor: another minor code style