Minor changes to prototyping section