Fixes test13 bug