Fix broken guarantee