Minor doc fix
Merge pull request #5635 from jmagnusson/develop

Minor doc fix