Minor tweaks to inheritance.js