[BUG# 7988] minor amending