semicolon after curly brace is a typo?