fixes bug #471