minimal bugfix: lazy option