fixed splash screen (was broken during auto-reformat)