this fixes bug #80.