removed trailing whitespace
fixed wrong <foreign> element in derviations