Style fix, no functional change intended