Comment on Typo in Boring Tech section