Deal with empty string in #+REVEA_PLUGINS