Justin: Fix semicolon