Style: always use double [[ ]]