Fix #217.