Added assertion to make RPython happy