With thanks to Mike for the prompt.