bugfix: diamond operator