Fixes bug #906