A fix for Issue #17