On 05/09/2011 03:06 PM, Nis Martensen wrote: > 2011/5/9 Soeren Sandmann<sandmann at cs.au.dk>: >> The fixes look mostly correct to me, but we do need a more comprehensive >> commit message than just "typos?" > Thanks. Updated patch attached Applied, thanks. Sorry to be slow to respond. Søren