Fix #18.