Fix for documentation about proxy settings