[Hendrikto]

This was in the original, because without that solenoid, typists accustomed to the sound of typewriters were not sure their presses registered correctly. The times were different.