Fix error introduced by commit ed43b72425a7abb90c49c724095ff7f795696659