bug in prob12. Test does not compile