minor post-launch fixes