db47h Fix visual discrepancy in machine list in file header

Latest commit 04ea1b0

Sep 29, 2018