More style tweaks for dev.
Remove extraneous file.