Fix client-side crash in Launch Controller.  Fixes #819.