proposed fix for #919 (missing pdf index)