Fixup for 501fb5a46b346e53494f91ccb1ea2382ca11b7b0