Thanks for the bug report. I reproduced the problem and installed the 
attached patch to fix it.