Some hitherto unsuccessful attempts at issue #190.