document fix to #428