instapaper.ks.js: small fixes