Remove issue 1028: duplicate of 872