Fixes for bugs from earlier.

The verification, yellow box disappearing, and project type issues have
all been solved.