Fix bug in sealed class example.