Correcting minor mistakes