fix the head notation of package object dsl

Some obvious bugs in the head notation, fix them.