Fix #538