fixed lehrer0 problem