This update fixes several types of errors that may appear on compilation of the Header snippet