[BUG #7680] quick fix