Fix #645.