Fix a missing pointer deref that was uncovered by one of the buildbots.