minor move in library header