@cebe This is fine, a commonly used javascript magic. ;)