Minor building fix.