just detected a typo in HEAD, in device manager

"HAR DDISK" instead of "HARD DISK"

As this is a very stupid "bug"... should i send a report about it?