Patch from Ben Hutchings: explicitly initialise something which some