Fix build issue

Pointed out by Frank Jeschke <jes@hostis.de>