Fix compilation issue introduced in commit a9fcd84c