Fixing the 2.4.0 date + adding a silly top-level header