test for #12: Problems with autoboxing