quick fix for #74