Fixed compilation

This fixed compilation for me. Maybe wrong, though…