Improve documentation slightly for #5.