fix seed type for file #43