HPL/OSU: typo s/teh/the/