more debugging

Generated by commit b74356f9510634a17d1ea8b2cac35715a652bf31; pushed to Travis build 13