Simple fix for #239