Fix #252.