Small tweaks to Script Editor