Fix #625