Minor: Remove unused header