quick fix for #1