Issue #7969 by tj: Added missing ;