minor fix for a bug reported by yonnym@googlemail.com