very minor scaladoc tweaks