currently unused
Fixed #6.