Minor edit to make HEAD build