Fix minor visibility problem in header.