fixed type mismatch for DevKit declaration