Correct some details since the last commit