Some small changes done a few hours ago.