Fix for #4512

Cleaned up the documentation