minor fix for header dependency