Add missing semi-colon, fixes #2937