fix missing header in examples