quick fix for #82