Fix for #1205: improper default value