Correcting minor stuff