but see below for another possibility that I find is cleaner.