Minor optimization in 9.11