Quick fix for issue #13.