Anyone who contributes to their 401k, how do the rules work (not in the work rules that I can find) for the 5% contribution. Today's paycheck leaves me 80 dollars short on the company contribution. Past paychecks don't show company contribution at all.