Fixing a few details.