I think I prefer @larsmans' suggestion although this is not a strong preference.