Fixed #1111.