Patch v1.13

Hello !

this patch is a quick one, fixing issues when user was unable to use the new feature "repeat" round when in the "boss" round.
Also resolves issue with sizing.