Some debug code to illustrate problem