ASL headers and formatting [ci skip]. Related to #307.