Tiny fixes to sources etc.