Compiling correctly