Test and fix for #272