Fix #623