tiny fix to help "make test"