Tests for issue 11 on github (already fixed).