another small "fix"