just some pseudocode updates