Fix #266
minutiae