Fix Ramsey header