More scaladoc improvements, see #3152