this is probably sufficiently tested by the suggestion I made above