Fix #372.