revision.c: whitespace fix