Add comments for the fix of #31