Minor improvements to the text about typing MD5 library