Bug fixes in interactive editor code.