Fix #145.