is the </div> thingy a bug?
It is indeed a bug. Thank you for spotting it! It'll be fixed in the next update :)
