Fix #87.