fix syntax error in ns-platform-support