Fixes bug #834

This fixes bug #834.

Thanks.