To a min-key bug