See code comment for more info. Unfortunately, I wasn't able
to find anything better than time.sleep().