slight improvement to the documentation