FIX: add missing cast