Solving a bug in SLIME initialization.