A similar fix was applied long ago.