--- a/compiler/PPCPluggableConfiguration.st	Mon Aug 24 22:32:15 2015 +0100
+++ b/compiler/PPCPluggableConfiguration.st	Mon Aug 24 23:42:53 2015 +0100
@@ -24,8 +24,8 @@
 
 !PPCPluggableConfiguration methodsFor:'as yet unclassified'!
 
-arguments: args
-    ^ base arguments: args
+options: args
+    ^ base options: args
 !
 
 base: aPPCConfiguration