Always lower-case the magnet ID.