Additional fix for #241: forgot to save a change..