Fixing boolean specs