Minor change: added 2 more registration declarations to the final pdf,
and updated the instructions to reflect that