a fix for bug #9393, where headers were missing