Fix header of spatch

Caused by previous commit.