Miscellaneous stuff for the BigPanDA instance