Fill in a missing case of 3.3.