Fix #392.