lampepfl/dotty — pull request #132 by DarkDimius (2014-05-09 09:18:08+00:00)
Title: Small fixes

A bit of small fixes here and there.
@odersky please have a look.