Add missing semicolon
merged branch DieterDePaepe/patch-1 (PR #1105)

This PR was merged into the master branch.

Discussion
----------

Add missing semicolon

Commits
-------

550503e Add missing semicolon