Fix #1262.