Some more on the computational details. #2