Fix to 90519fc6e132bd (moved paragraph to end of section).