now obvious bug has been worked around