fixes bug #425