Given up on formatting code under strapdown