fixing compliation

not really sure, looks like that line got deleted by accident