Manually pasted in my deleted code by last pull. All OK.