Minor: fix style warning