Fix bug #750