fix compilation (minor)