Updated again: Suddenly the original code is working as expected. It seems most likely that rebooting t