a couple of minor typescript edits