post-launch fixes