Rename header

This is a tiny PR.