Fix #1412

#1412