On 5/29/19 1:51 AM, jakub.kulik@oracle.com wrote:
> somebody found this bug first at 8.16, but this might have been there 
> for longer. 

I looked into the revision history and it seems to have been introduced 
long ago. I installed the attached further patch.