Fix #307.