minor bug fixes, and upgraded layout to Twitter Bootstrap 3.0