BTW, this problem does not occur with Player 16.1.2 build-17966106, so this is a REGRESSION. I'm going to stick with 16.1.2 for now.
