A missing corner case on auto-unboxing.