fix Sentinel type issue