A fix that I don't quite understand ...