fix a bug in spooky-shell