Fix #395.