rivet: added HEAD