This is the most minimal change for what might be relatively minimal edge case. Alternative is replacing reload(), but let's not do that yet. Closes #555