Fix #1021 incorrect example output