O3: Fix a style bug in O3.