Add two semicolons to make code more cut-pastable