Fix small syntax error with splash code