Whoops, fix broken RCSID line