issue #531 (warning)