Fix formatting, fix bug in CircularQueue