these may make the code too colorful. Not sure yet. Seems harmless enough though