Minor fixes

This has some minor fixes to the erdtls code, and one minor doc fix.