The same content as in final.go