fix Leitner bug