Minor post-launch fixes