another minor post submission fix :(