Changed PS-DOC* to take multiple arguments (implicit progn) to make it