fix that seems to solve the problem