Ouf...proper fixes for #1547