A note on syntactical treatments of modality