Added (still disabled) tests for #256