include: minor nits by diego@