Tiny cleanup for the last commit (a554dd67af591df020dcdb29a40c4b611b8529c8)