A few small corrections to the SSL documentation.