Little fix for the previous commit