Small but rather important fix