More TinyDPS updates