plan9port: style nits