fix compilation error introduced in 6a39ed4

my bad. :-(