Update 3.1

Some unimportant changes.