Fixed by rev#102307 (for now, no warning, but we may think about it in the future.)