Update 0.definitions.html