Fix #132.