For #1527: tests