Mistaken typing of "prinf" instead of "printf"