extra ";" in WebIDL (typo)