Avoiding duplicate default variable value (thanks to a report by Jeff Hammond).