format using Jalopy; changing html-header