quick fix for #108.