Fixed error in the definition of the bottom part of A