Fix bugzilla #939