Hi and thank you for reporting,
<br style="box-sizing: border-box;">
This issue has been fixed and the fix will be released in our next release.
Edit: This will be released in version 2.5.1
<br>
Sorry for the inconvience,
<br style="box-sizing: border-box;">
Azaziah