Fixed bug in .r that still wasn't fixed. Updated version to 0.812, and
updated jar.