Fix issue introduced in commit "23174d2629c"