platform: syntax tweaks