Remove no-longer-needed header