Adding (currently failing) tests for issue #5