fix for broken header introduced in last commit