fixes bug #740