fixes bug #448