switched type-cast from “(integer)” to “(int)”