fix a bug encountered on 0.10