How to shrink an end portal