Tiny syntax improvements