[BUG #7779] minor corrections