minor updates (bug #4777)