Fix another Bootlint error.