Fix potential bug introduced by a previous patch (thanks clang).