made the type analysis for callback methods tighter