Bug fixes 8129, 8130