minor corrections and improvements to socket appenders in manual