Bug fix: Insufficient arguments for printf()