Fixing a bug in %% use case #83