Scala section: a few changes