fixed compilation
(temporary hack)