(doc) This completes the fix to #19