Fixed formatting on some printf's