Fixed bug in page-splitting.h