Fix book naming

This is very silly...