A few little code cleanups