Aaaaaaargh sorry! This is again my IDE being "helpful". Very sorry.