trivial name change to fix travis build