Properly link to MagLev.