Fix #737