5345# Slight improvement to the documentation