quick fix for #95