User query

@Jsteiner @gabebw
There should be empty lines around `attr_reader`