Clarify some text as suggested by Matthias.