Minor fix for a missing semicolon