Comment 2 for bug 1478147

We disabled the header animations for now, so this bug is no longer valid.

When we re-enable the animations, we need to take care of this of course.