Silly change, but possibly necessary to fix classpath issues...