Document fix for issues #1942 and #1944.