Fixes for 3e43c62e3507ffcf344c5945dd901289ef04339d