Fixed as described in the comment thread below.