Remove debug logging; (hopefully) fix Travis style checker.