pinning: minor code style policing