This isn't exactly a format violation. Does the format checker get mad at this? (If so, we can easily change the slashes to another character...)