Add documentation for -lazy