Small additions to Scala compiler post