Small update for the 5.1 branch

I know this could be old, but...