Fix #25.