python: correct comment on default value of @detail