I like bug reports like this. Mike, thanks! Accepted to devel project and submitted to factory. Going to do an update for 13.2.