fix the lazy trait