slight modication to user and bank specs to get tests passing