Fix sentinel type