Correct compilation

[none]