Fix #391.