Fixed miscellaneous things; changed debug style, etc.