A few minor changes related to subcubes