quick fix for #337