fixing 404 in printf.html