minor fix for git compatibility