some minor cleanups to make the 'open in browser' thing work