Update stencil.h