Thanks, I have commited this patch. moritz -- ((gpg-key-id . "6F984199") (email . "moritz@duesseldorf.ccc.de") (webpage . "http://duesseldorf.ccc.de/~moritz/"))