cosmetics and bug fixes in source selection
Authored by: bruno.herbelin 2010-01-27
Parent: [r10]
Child: [r12]
