From Danilo and me: add missing member init (fixes CMS).