Minor tweaks to getTiddlers