Murvin: okay. you should file a bug report