Drop the toplevel module property

Also remove an outdated comment.