Fix a small styling error in the lazy_resolve definition