Remove a couple of incorrect names

Auto-detection will take care of them anyway.

[closes #60]
Release 4.3.3