minor theme and compilation changes for history module