Fixes for bug #758