Fix #371.