fixed type system error for Krista