updated example to use lazy formatting