Fixed it, but Github won't let me push :-/