Fix build.
(Reported by joerg@, thanks!)