fix for #23