tests for issue13