Thanks to the pre-eminent Drs. William Jackson and Morteza
Tabatabaeipour for highlighting this egregious error

Fix a couple of printf arguments
Slightly better pointer casting