Minor change to oscar12.properties