Fixed one bad include in the last commit. Visibility might be slightly
broken now, because I'm working on greying out tiles that have been
seen but aren't visible.