Double semicolon? Why?