Updated comments on the spec; implemented banned-user scenario