this should fix a little bug (discovered by ahmadmansoor)