scala rep docs, corrections