Fixes #4396: increase size of category tree