Some arithmetic corrections