oops, fix mistake noticed by Jules Lopez