Updates docs for default regarding laziness