7518: fix