A fix for issue #648