Tiny fix for missed copy-paste comment and check