Fix #23.