Some unimportant changes