#17: don't understand why unable to cast