fix to bug #1