Minor updates in assembly.pbs