Fix #19.