Added support for @hide tags

Plus two other small changes.