bug #1472: fix warning
1 file changed