Fixed bug with height of bigdiv