Workaround for some strange bug