fix accidentally stripped ; in d850e5e