Revert "correct missing ; sorry :-("

This reverts commit 5d8f2f9a6e2a281045eb5d6249a0a16784d046ba.